#include "inc/hw_types.h"
#include "inc/hw_ints.h"
#include "inc/hw_memmap.h"
#include "driverlib/interrupt.h"
#include "driverlib/gpio.h"
#include "driverlib/rom.h"
#include "driverlib/rom_map.h"
#include "driverlib/sysctl.h"

#include "utils/uartstdio.h"
#include "driverlib/uart.h"

extern void UARTsend(char* input);
extern void bt_UARTsend(char* input);
extern void UARTSend(const unsigned char *pucBuffer, unsigned long ulCount);

